Stichworte: triple constraint check